ToString (Either b c) ~ (b -> String, c -> String)